int printk(const char * fmt, ...);
int tty_write(char *buf, int nr);
